0.04/0.12	% Problem  : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
2.18/2.34	% Command  : python3 /export/starexec/sandbox2/solver/bin/portfolio.lams.parallel.py %s %d /export/starexec/sandbox2/tmp/tmp.DDrb9UNfEK true
2.23/2.54	% Computer : n008.cluster.edu
2.23/2.54	% Model    : x86_64 x86_64
2.23/2.54	% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
2.23/2.54	% Memory   : 8042.1875MB
2.23/2.54	% OS       : Linux 3.10.0-693.el7.x86_64
2.23/2.54	% CPULimit : 960
2.23/2.54	% WCLimit  : 120
2.23/2.54	% DateTime : Tue Aug  9 07:32:26 EDT 2022
2.23/2.54	% CPUTime  : 
2.23/2.54	% Running portfolio for 960 s
2.23/2.54	% File         : /export/starexec/sandbox2/benchmark/theBenchmark.p
2.23/2.54	% Number of cores: 8
2.23/2.54	% Python version: Python 3.6.8
2.23/2.54	% Running in HO mode
2.68/2.82	% Total configuration time : 828
2.68/2.82	% Estimated wc time : 1656
2.68/2.82	% Estimated cpu time (8 cpus) : 207.0
3.24/2.91	% /export/starexec/sandbox2/solver/bin/lams/40_c.s.sh running for 80s
3.24/2.91	% /export/starexec/sandbox2/solver/bin/lams/40_c_ic.sh running for 80s
3.24/2.92	% /export/starexec/sandbox2/solver/bin/lams/35_full_unif4.sh running for 80s
3.24/2.92	% /export/starexec/sandbox2/solver/bin/lams/40_noforms.sh running for 90s
3.24/2.92	% /export/starexec/sandbox2/solver/bin/lams/15_e_short1.sh running for 30s
3.24/2.92	% /export/starexec/sandbox2/solver/bin/lams/40_b.comb.sh running for 70s
3.45/3.03	% /export/starexec/sandbox2/solver/bin/lams/20_acsne_simpl.sh running for 40s
3.45/3.03	% /export/starexec/sandbox2/solver/bin/lams/30_sp5.sh running for 60s
17.68/5.16	% /export/starexec/sandbox2/solver/bin/lams/30_b.l.sh running for 90s
236.60/41.29	% /export/starexec/sandbox2/solver/bin/lams/35_full_unif.sh running for 56s
472.58/79.67	% /export/starexec/sandbox2/solver/bin/lams/15_old_s4.sh running for 30s
493.88/82.94	% /export/starexec/sandbox2/solver/bin/lams/15_lifting3.sh running for 30s
497.02/83.72	% /export/starexec/sandbox2/solver/bin/lams/33_shallow_sine.sh running for 66s
515.51/87.08	% /export/starexec/sandbox2/solver/bin/lams/40_e_lift.sh running for 80s
576.60/97.37	% /export/starexec/sandbox2/solver/bin/lams/15_lifting1.sh running for 30s
613.82/104.92	% /export/starexec/sandbox2/solver/bin/lams/8_new_cnf.sh running for 16s
618.64/105.75	% /export/starexec/sandbox2/solver/bin/lams/10_e_short2.sh running for 20s
627.06/107.26	% /export/starexec/sandbox2/solver/bin/lams/8_add_var_l_av.sh running for 16s
641.24/109.84	% /export/starexec/sandbox2/solver/bin/lams/8_new_sh_or.sh running for 16s
657.89/113.29	% /export/starexec/sandbox2/solver/bin/lams/30_old_zip1.sh running for 36s
692.51/120.12	/usr/lib64/python3.6/multiprocessing/semaphore_tracker.py:55: UserWarning: semaphore_tracker: process died unexpectedly, relaunching.  Some semaphores might leak.
692.51/120.12	  warnings.warn('semaphore_tracker: process died unexpectedly, '
692.51/120.15	Alarm clock
692.51/120.15	% Zipperpin 1.5 exiting
692.51/120.17	EOF